1. Formal methods: Theory and practice
Author: Edited by P. N. Scharbach
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer sytems, programming- Applications of mathematical logic
Classification :
QA
،
76
,.
755
،.
F67
،
1989
